хорновская формула

1. Horn clause

заключительная формула документа — testimonium clause

вводная статья; вводная формула — opening clause

хвост формулы — tail of a clause

2. horn clause